home *** CD-ROM | disk | FTP | other *** search
- #!/bin/sh
-
- echo "Preparing your TNOS source tree for initial 'make'...."
- echo
-
- echo "First step: remove any files that need to be customized for your site"
- echo " Deleting 'config.h', just in case it exists"
- rm -f config.h
- echo " Deleting 'catalog.h', just in case it exists"
- rm -f catalog.h
- echo " Deleting 'hardware.h', just in case it exists"
- rm -f hardware.h
- echo
-
- echo "Second step: setup OS-dependent Makefile for Unix"
- echo " Creating Makefile from makefile.unx"
- rm -f Makefile
- ln -s makefile.unx Makefile
- echo
-
- echo "Third step: create an initial 'make.inc' file"
- MAKE=make
- export MAKE
- if ( make -v >/dev/null 2>&1 );
- then
- :
- else
- MAKE=gmake
- if ( gmake -v >/dev/null 2>&1 );
- then
- :
- else
- echo " Sorry, but GNU make not found!"
- echo " You will need to do a 'make make.inc' with GNU make.!"
- exit 1
- fi
- fi
- ${MAKE} make.inc 2>/dev/null
- echo
-
- echo "Premake complete!"
-
-